-
Homepage of André Platzer at Carnegie Mellon University. Dedicated to research on logic, computer science, and mathematics. Especially, verification of hybrid ...
symbolaris.com - 2009-04-14
-
Homepage of André Platzer at Carnegie Mellon University. Dedicated to research on logic, computer science, and mathematics. Especially, verification of hybrid ...
www.phlogic.com - 2009-02-12
|
application
education
numerical
thin-client
java
management
oop
engineering
development
object-oriented programming
radius3
analysis
learning
control
mathematics
math
|
|